
public abstract class ExpList{
    public abstract Exp head();
    public abstract ExpList tail();
}